Multivalued operations and universal coalgebra
نویسندگان
چکیده
منابع مشابه
Universal Dialgebra: Unifying Universal Algebra and Coalgebra
The concept of dialgebra provides a platform under which universal algebra and coalgebra are unified in one theory. Other examples of dialgebras include universal multialgebras and partial algebras. In the dialgebraic setting, several relationships between common features of these various theories are clarified and, in many cases, rather similar proofs of closely related results are combined to...
متن کاملUniversal coalgebra: a theory of systems
In the semantics of programming, nite data types such as nite lists, have traditionally been modelled by initial algebras. Later nal coalgebras were used in order to deal with in nite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models for certain types of automata and more generally, for (transition and dynamical) systems. An important property ...
متن کاملCoalgebra, Concurrency, and Control
Coalgebra is used to generalize notions and techniques from concurrency theory, in order to apply them to problems concerning the supervisory control of discrete event systems. The main ingredients of this approach are the characterization of controllability in terms of (a variant of) the notion of bisimulation, and the observation that the family of (partial) languages carries a final coalgebr...
متن کاملMultiple-Valued Logic Operations with Universal Literals
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The prop...
متن کاملMultiple-valued Logic Operations with Universal Literalst
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The prop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1972
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1972-0311826-x